Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
301	ALGEBRAIC COLIMIT CALCULATIONS IN HOMOTOPY THEORY USING FIBRED AND COFIBRED CATEGORIES RONALD BROWN AND RAFAEL SIVERA Abstract. Higher Homotopy van Kampen Theorems allow some colimit calculations of certain homotopical i Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2009-04-24 09:00:50 Fibred category Universal property Limit Adjoint functors Functor Cone Sheaf Coproduct Groupoid Category theory Abstract algebra Mathematics
302	Further thoughts on pointfree versus classical function rings Bernhard Banaschewski This talk will describe a substantially revised version of the proof, presented here last October, that the pointfree function rings RL Add to Reading List Source URL: www.mth.uct.ac.za Language: English - Date: 2014-04-04 11:01:20 General topology Category theory Model theory Adjoint functors Higher category theory Semilattice Closure Mathematical logic Compact space Topology Mathematics Abstract algebra
303	J. Symbolic Computation[removed], 1–13 doi:[removed]jsco[removed]Available online at http://www.idealibrary.com on Computation and Homotopical Applications of Induced Crossed Modules Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2007-03-14 19:06:11 Algebraic topology Homological algebra Algebraic structures Group theory Crossed module Group cohomology Hurewicz theorem Homotopy group Adjoint functors Abstract algebra Algebra Homotopy theory
304	JOURNAL OF MATHEMATICAL ANALYSIS Add to Reading List Source URL: www.dm.unito.it Language: English - Date: 2013-04-02 05:48:16 Adjoint functors Sheaf Operator theory Inner product space Surreal number Abstract algebra Mathematics Mathematical analysis
305	Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt MPRI 2-4-2, 2007 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-12 03:05:56 Computing Adjoint functors Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Haskell Purely functional Declarative programming Software engineering Functional programming
306	Fuzzy Sets and Systems[removed] North-Holland Publishing Company T H E STON-E-CECH C O M P A C T I F I C A T I O N IN T H E C A T E G O R Y OF FUZZY TOPOLOGICAL SPACES Umberto CERRUTI Add to Reading List Source URL: www.dm.unito.it Language: English - Date: 2013-04-02 05:48:46 Separation axioms Algebraic topology Stone–Čech compactification Tychonoff space Reflective subcategory Adjoint functors Compactification Compact space Sheaf Topology General topology Topological spaces
307	Probabilistic Relational Verification for Cryptographic Implementations Gilles Barthe C´edric Fournet Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-09-13 09:26:28 Adjoint functors Mathematical logic Relational model Μ operator Function Dirac delta function Monad Homomorphism Interpretation Mathematics Mathematical analysis Model theory
308	a Preprintreihe SFB 478 – Geometrische Strukturen in der Mathematik A∞ -monads and completion Add to Reading List Source URL: wwwmath.uni-muenster.de Language: English - Date: 2008-07-14 07:56:48 Mathematics Representable functor Adjoint functors Monad Operad theory Functor Nerve Model category Natural transformation Category theory Abstract algebra Algebra
309	McCusker, G. A. and Power, J[removed]Modelling local variables: possible worlds and object spaces. Electronic Notes in Theoretical Computer Science, 265. pp[removed]ISSN[removed]Link to official URL (if available): h Add to Reading List Source URL: opus.bath.ac.uk Language: English - Date: 2014-02-05 00:10:59 Functors Procedural programming languages Adjoint functors Monoidal categories Yoneda lemma Natural transformation Hom functor ALGOL 68 Subcategory Category theory Mathematics Abstract algebra
310	arXiv:1209.3760v1 [math.RT] 17 Sep 2012 Add to Reading List Source URL: home.mathematik.uni-freiburg.de Language: English - Date: 2012-09-18 04:25:00 Algebra Sheaf theory Sheaf Verdier duality Perverse sheaf Adjoint functors D-module Triangulated category Kazhdan–Lusztig polynomial Abstract algebra Homological algebra Category theory

UPDATE